Wehrheim, Heike: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Process algebra with action dependencies

Arend Rensink, Heike Wehrheim

Journal:

Acta Informatica

Year:

2001

Language:

english

File:

PDF, 634 KB

english, 2001

2

A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures

Schellhorn, Gerhard, Derrick, John, Wehrheim, Heike

Journal:

ACM Transactions on Computational Logic

Year:

2014

Language:

english

File:

PDF, 1013 KB

english, 2014

3

Programs from Proofs

Jakobs, Marie-Christine, Wehrheim, Heike

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2017

Language:

english

File:

PDF, 1.16 MB

english, 2017

4

[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 12076 (23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25â30, 2020, Proceedings) ||

Wehrheim, Heike, Cabot, Jordi

Year:

2020

File:

PDF, 26.71 MB

2020

5

Modelling causality via action dependencies in branching time semantics

Ursula Goltz, Heike Wehrheim

Journal:

Information Processing Letters

Year:

1996

Language:

english

File:

PDF, 603 KB

english, 1996

6

Modelchecking Correctness of Refactorings - Some Experiments

H.-Christian Estler, Thomas Ruhroth, Heike Wehrheim

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 288 KB

english, 2007

7

Alloy as a Refactoring Checker?

H.-Christian Estler, Heike Wehrheim

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 371 KB

english, 2008

8

Compositional CSP Traces Refinement Checking

Heike Wehrheim, Daniel Wonisch

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 561 KB

english, 2009

9

Extending a Component Specification Language with Time

Björn Metzler, Heike Wehrheim

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 438 KB

english, 2007

10

Static Class Elements for Object-Z

Thomas Ruhroth, Heike Wehrheim

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 266 KB

english, 2009

11

Model transformations across views

John Derrick, Heike Wehrheim

Journal:

Science of Computer Programming

Year:

2010

Language:

english

File:

PDF, 901 KB

english, 2010

12

Selected papers on Integrated Formal Methods (iFM09)

Michael Leuschel, Heike Wehrheim

Journal:

Science of Computer Programming

Year:

2011

Language:

english

File:

PDF, 136 KB

english, 2011

13

Slicing techniques for verification re-use

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 257 KB

english, 2005

14

Jass — Java with Assertions

Detlef Bartetzko, Clemens Fischer, Michael Möller, Heike Wehrheim

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 302 KB

english, 2001

15

Partial order reductions for failures refinement

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 829 KB

english, 1999

16

Integrating a formal method into a software engineering process with UML and Java

Michael Möller, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim

Journal:

Formal Aspects of Computing

Year:

2008

Language:

english

File:

PDF, 826 KB

english, 2008

17

Data Abstraction Techniques in the Validation of CSP-OZ Specifications

Journal:

Formal Aspects of Computing

Year:

2000

Language:

english

File:

PDF, 163 KB

english, 2000

18

On using data abstractions for model checking refinements

John Derrick, Heike Wehrheim

Journal:

Acta Informatica

Year:

2007

Language:

english

File:

PDF, 444 KB

english, 2007

19

Refinement in the Presence of Unknowns

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 237 KB

english, 2008

20

Specification and (property) inheritance in CSP-OZ

Ernst-Rüdiger Olderog, Heike Wehrheim

Journal:

Science of Computer Programming

Year:

2005

Language:

english

File:

PDF, 319 KB

english, 2005

21

Reputation-based Reliability Prediction of Service Compositions

Galina Besova, Heike Wehrheim, Annika Wagner

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 518 KB

english, 2011

22

Bounded Retransmission in Event-B∥CSP: a Case Study

Steve Schneider, Helen Treharne, Heike Wehrheim

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 276 KB

english, 2011

23

Model evolution and refinement

Thomas Ruhroth, Heike Wehrheim

Journal:

Science of Computer Programming

Year:

2012

Language:

english

File:

PDF, 332 KB

english, 2012

24

[Lecture Notes in Computer Science] Formal Methods for Open Object-Based Distributed Systems Volume 4037 || Defining Object-Oriented Execution Semantics Using Graph Transformations

Gorrieri, Roberto, Wehrheim, Heike

Year:

2006

Language:

english

File:

PDF, 446 KB

english, 2006

25

The behavioural semantics of Event-B refinement

Schneider, Steve, Treharne, Helen, Wehrheim, Heike

Journal:

Formal Aspects of Computing

Year:

2014

Language:

english

File:

PDF, 1.18 MB

english, 2014

26

Two approaches for proving linearizability of multiset

Tofan, Bogdan, Travkin, Oleg, Schellhorn, Gerhard, Wehrheim, Heike

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 1.07 MB

english, 2014

27

[IEEE 2013 18th International Conference on Engineering of Complex Computer Systems (ICECCS) - Singapore, Singapore (2013.07.17-2013.07.19)] 2013 18th International Conference on Engineering of Complex Computer Systems - Knowledge-Based Verification of Service Compositions -- An SMT Approach

Walther, Sven, Wehrheim, Heike

Year:

2013

Language:

english

File:

PDF, 212 KB

english, 2013

28

[IEEE 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA) - Oulu, Finland (2011.08.30-2011.09.2)] 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications - ReL: A Generic Refactoring Language for Specification and Execution

Ruhroth, Thomas, Wehrheim, Heike, Ziegert, Steffen

Year:

2011

Language:

english

File:

PDF, 356 KB

english, 2011

29

Temporal plans for software architecture reconfiguration

Ziegert, Steffen, Wehrheim, Heike

Journal:

Computer Science - Research and Development

Year:

2015

Language:

english

File:

PDF, 1.51 MB

english, 2015

30

[IEEE 2009 35th Euromicro Conference on Software Engineering and Advanced Applications - Patras, Greece (2009.08.27-2009.08.29)] 2009 35th Euromicro Conference on Software Engineering and Advanced Applications - Measure, Diagnose, Refactor: A Formal Quality Cycle for Software Models

Ruhroth, Thomas, Voigt, Hendrik, Wehrheim, Heike

Year:

2009

Language:

english

File:

PDF, 286 KB

english, 2009

31

[IEEE Future of Software Engineering - Minneapolis, MN, USA (2007.05.23-2007.05.25)] Future of Software Engineering (FOSE '07) - The Challenges of Building Advanced Mechatronic Systems

Schafer, Wilhelm, Wehrheim, Heike

Year:

2007

Language:

english

File:

PDF, 1.38 MB

english, 2007

32

[Lecture Notes in Computer Science] Formal Methods for Open Object-Based Distributed Systems Volume 4037 || KM3: A DSL for Metamodel Specification

Gorrieri, Roberto, Wehrheim, Heike

Year:

2006

Language:

english

File:

PDF, 849 KB

english, 2006

33

[Lecture Notes in Computer Science] Formal Methods for Open Object-Based Distributed Systems Volume 4037 ||

Gorrieri, Roberto, Wehrheim, Heike

Year:

2006

Language:

english

File:

PDF, 3.79 MB

english, 2006

34

[Lecture Notes in Computer Science] Formal Methods for Open Object-Based Distributed Systems Volume 4037 || Transformation Laws for UML-RT

Gorrieri, Roberto, Wehrheim, Heike

Year:

2006

Language:

english

File:

PDF, 685 KB

english, 2006

35

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 5423 || An Introduction to Grammar Convergence

Leuschel, Michael, Wehrheim, Heike

Year:

2009

Language:

english

File:

PDF, 261 KB

english, 2009

36

Mechanically verified proof obligations for linearizability

Derrick, John, Schellhorn, Gerhard, Wehrheim, Heike

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2011

Language:

english

File:

PDF, 274 KB

english, 2011

37

Grammar-based model transformations: Definition, execution, and quality properties

Besova, Galina, Steenken, Dominik, Wehrheim, Heike

Journal:

Computer Languages, Systems & Structures

Year:

2015

Language:

english

File:

PDF, 1.27 MB

english, 2015

38

[ACM Press the 2014 International SPIN Symposium - San Jose, CA, USA (2014.07.21-2014.07.23)] Proceedings of the 2014 International SPIN Symposium on Model Checking of Software - SPIN 2014 - Certification for configurable program analysis

Jakobs, Marie-Christine, Wehrheim, Heike

Year:

2014

Language:

english

File:

PDF, 476 KB

english, 2014

39

[ACM Press the 30th Annual ACM Symposium - Salamanca, Spain (2015.04.13-2015.04.17)] Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15 - Programs from proofs of predicated dataflow analyses

Jakobs, Marie-Christine, Wehrheim, Heike

Year:

2015

Language:

english

File:

PDF, 934 KB

english, 2015

40

[Lecture Notes in Computer Science] Correct System Design Volume 9360 || Understanding Probabilistic Programs

Meyer, Roland, Platzer, André, Wehrheim, Heike

Year:

2015

Language:

english

File:

PDF, 329 KB

english, 2015

41

[Lecture Notes in Computer Science] Correct System Design Volume 9360 || On Applicative Similarity, Sequentiality, and Full Abstraction

Meyer, Roland, Platzer, André, Wehrheim, Heike

Year:

2015

Language:

english

File:

PDF, 306 KB

english, 2015

42

On-the-fly construction of provably correct service compositions – templates and proofs

Walther, Sven, Wehrheim, Heike

Journal:

Science of Computer Programming

Year:

2016

Language:

english

File:

PDF, 1.21 MB

english, 2016

43

Annals of Computer Science and Information Systems [IEEE 2014 Federated Conference on Computer Science and Information Systems - (2014.09.7-2014.09.10)] Proceedings of the 2014 Federated Conference on Computer Science and Information Systems - Grammar-Based Model Transformations

Besova, Galina, Steenken, Dominik, Wehrheim, Heike

Year:

2014

Language:

english

File:

PDF, 423 KB

english, 2014

44

Proof-Carrying Hardware via Inductive Invariants

Isenberg, Tobias, Platzner, Marco, Wehrheim, Heike, Wiersema, Tobias

Journal:

ACM Transactions on Design Automation of Electronic Systems

Year:

2017

Language:

english

File:

PDF, 787 KB

english, 2017

45

Validity of Software Verification Results on Approximate Hardware

Isenberg, Tobias, Jakobs, Marie-Christine, Pauck, Felix, Wehrheim, Heike

Journal:

IEEE Embedded Systems Letters

Year:

2017

Language:

english

File:

PDF, 460 KB

english, 2017

46

Mechanized proofs of opacity: a comparison of two techniques

Derrick, John, Doherty, Simon, Dongol, Brijesh, Schellhorn, Gerhard, Travkin, Oleg, Wehrheim, Heike

Journal:

Formal Aspects of Computing

Year:

2017

Language:

english

File:

PDF, 1.49 MB

english, 2017

47

[ACM Press the 40th International Conference - Gothenburg, Sweden (2018.05.27-2018.06.03)] Proceedings of the 40th International Conference on Software Engineering - ICSE '18 - Reducer-based construction of conditional verifiers

Beyer, Dirk, Jakobs, Marie-Christine, Lemberger, Thomas, Wehrheim, Heike

Year:

2018

Language:

english

File:

PDF, 790 KB

english, 2018

48

[ACM Press the 3rd ACM SIGSOFT International Workshop - Paderborn, Germany (2017.09.04-2017.09.04)] Proceedings of the 3rd ACM SIGSOFT International Workshop on Software Analytics - SWAN 2017 - Predicting rankings of software verification tools

Czech, Mike, Hüllermeier, Eyke, Jakobs, Marie-Christine, Wehrheim, Heike

Year:

2017

Language:

english

File:

PDF, 803 KB

english, 2017

49

[ACM Press the 2018 26th ACM Joint Meeting - Lake Buena Vista, FL, USA (2018.11.04-2018.11.09)] Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2018 - Do Android taint analysis tools keep their promises?

Pauck, Felix, Bodden, Eric, Wehrheim, Heike

Year:

2018

Language:

english

File:

PDF, 512 KB

english, 2018

50

[ACM Press the 2019 27th ACM Joint Meeting - Tallinn, Estonia (2019.08.26-2019.08.30)] Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2019 - Together strong: cooperative Android app analysis

Pauck, Felix, Wehrheim, Heike

Year:

2019

Language:

english

File:

PDF, 432 KB

english, 2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски